Experience report: evolution of a web-integrated software development and verification environment
نویسندگان
چکیده
منابع مشابه
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for the purpose. Our experience in using such an IDE, supported by a ‘push-button’ verifying compiler in a classroom setting, reveals the highly it...
متن کاملArchitectural Evolution of a Software Product Line: an experience report
This work presents an experience report on the architectural decisions taken in the evolution of a Software Product Line (SPL) of Model-based Testing tools (PLeTs). This SPL was partially designed and developed with the intention of minimizing effort and time-to-market during the development of a family of performance testing tools. With the evolution of our research and the addition of new fea...
متن کاملModular Verification of Generic Components Using a Web-Integrated Environment
This paper presents a web-integrated environment that has been especially built to capture component relationships and allow construction and composition of verified generic components. The environment facilitates teambased software development and has been used in undergraduate CS education at multiple institutions. The environment makes it easy to simulate ―what if‖ scenarios, and has spawned...
متن کاملWeb Based IDE Development with Google Web Toolkit: An Experience Report
Web-based Integrated Development Environment (IDE) is a neat development tool that can be used by any thin client with a web browser. However, writing dynamic web applications today is a tedious and error-prone process, and most importantly we do not have any effective framework to implement such a huge idea on web pages. Google Web Toolkit (GWT) is an open source Java software development fram...
متن کاملایجاد نیمه خودکار مشاپ های سازمانی با استفاده از توصیفات معنایی
Mashups are next generation of web applications. A mashup is a lightweight web application that is created by combining information or capabilities from more than one existing resources to deliver a new and integrated experience to the user. Mashups introduce a new class of integration techniques in enterprises for implementing situational applications (i.e. applications that come together to s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw., Pract. Exper.
دوره 45 شماره
صفحات -
تاریخ انتشار 2015